Concepts et méthodes pour le développement d'environnements de simulation intelligents. Application au bâtiment
نویسنده
چکیده
Numerical simulation is a powerful design and audit tool. But in the building industry, it is not as widely spread as in other industries (electronics, car industry, space industry...). Meanwhile, in building related research centers, various simulation codes have been developed. These codes are generally powerful on the numerical level and can cope with a large range of building related issues. Nevertheless, these codes lack some features in order to make their use simple and productive (user guidance, coherency check, share of data...). The aim of this work is to design an Intelligent Simulation Environment (ISE) taking advantage of both numerical performances of existing simulation codes and symbolic performances of knowledge based systems. The symbolic part of the ISE will act as a semantic server taking in charge operations on a high level of abstraction (sharing of data, reasoning strategies...) and controling the numerical part of the ISE which will act as a number cruncher. After a short presentation of the modelling/simulation/result analysis process and of the possible Human/Computer interactions, the components of the ISE are described using an object oriented formal specification method. A first application to the building field is then presented. This application is implemented within a knowledge modelling software platform developed in the CSTB and uses the Integrated Data Model resulting from the IDM task of the CEC project COMBINE. Key-words : Modelling Simulation Building Knowledge Based Systems Human/Computer dialogue. Object Oriented Design.
منابع مشابه
Le paradigme MAUI pour des agents multimodaux d'interface homme-machine socialement intelligents
RÉSUMÉ. Dans cet article, nous exposons notre programme de recherche ou paradigme en informatique bio-affective-sociale pour guider et participer au développement d’agents multimodaux socialement intelligents en termes de : (1) prise de décision et de (2) communication. Nous présentons certains de nos résultats traitant d’une partie des composants décrits dans ce paradigme que nous avons choisi...
متن کاملLa combinaison d'UML avec la méthode formelle CSP-OZ pour le développement d'applications bases des données
Les méthodes utilisées pour la spécification et le développement d’applications de bases de données sont basées soit sur les notations graphiques (appelées méthodes semi-formelles) soit sur des notations mathématiques (appelées méthodes formelles). Les méthodes semi-formelles (E-R, UML, OMT,...) (Jacobson et al., 2005) permettent une représentation intuitive et synthétique du système à étudier....
متن کاملSynthese des Controleurs Optimaux pour les Systemes a Evenements Discrets
Dans cet article, on introduit le problème de synthèse de contrôleurs optimaux des systèmes à événements discrets et nous proposons une procédure pour la résolution de ce problème, dans le cas où le procédé et les spécifications sont représentés par des automates à états finis et présentant une complexité croissante. Nous allons souscrire à la méthodologie de synthèse selon la théorie de la com...
متن کاملLa génération des résumés visuels de flux de données de capteurs météorologiques avec des chorèmes
La géovisualisation est considérée comme un domaine de recherche en pleine expansion, elle utilise des outils intelligents qui peuvent aider à trouver "une aiguille dans une botte de foin", en s’appuyant sur des techniques pour filtrer les données pertinentes (Kraak, 2003). En outre, en ce qui concerne les données en temps réel provenant de capteurs, la complexité augmente davantage. Plusieurs ...
متن کاملDocCat: un composant logiciel de catégorisation de documents et de marquage sémantique XML
Résumé : Cet article présente DocCat un composant logiciel de catégorisation de documents. Cet outil permet de générer des balises sémantiques et de les stocker dans une base de données au format XML. DocCat intègre une méthode d’apprentissage supervisée pour classer des documents texte dans des catégories prédéfinies. Les catégories ainsi induites permettent le balisage du document. L’intérêt ...
متن کامل